end-of-proof character - Deutsch Englisch Wörterbuch